VDict - Definition of logic program

Word not found. Suggestions:

Words contain "logic program"

Constraint Logic Programming Distributed Logic Programming logic programming

Reverse definition search (Computing (FOLDOC) dictionary):

neutrosophic logic model checking Lolli Baroque assertion Arithmetic and Logic Unit propositional logic LML predicate logic equational logic white box testing EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic LO breakpoint complexity analysis classical logic linear logic first-order logic exception cuspy BABEL logic emulator intuitionistic logic P-Prolog LOGIN intuitionistic probability goal PDL quantifier HOL modal logic Advanced STatistical Analysis Program Distributed Logic Programming demon fatal exception monitor Horn clause {log} toy program volatile variable checkpoint supercompilation demented two-valued logic Constraint Handling In Prolog connective Subset-Equational Language HCLP fatal error field-programmable gate array Tempura decidability more...